Migrants: thousands bed down for the night in Budapest