Point JuMP v0.5.7 to release-0.5 branch