NYC budget deal preserves funds for libraries and social programs as city grapples with migrant crisis costs