TravisCI: use a US mirror to download flex sdk
The Hong Kong one was too slow on TravisCI...