[galaxy-dev] Galaxy Docker 16.01 released!