Tag JuMP v0.5.3
Merge pull request #871 from mlubin/pull-request/6f0f0a20

Tag JuMP v0.5.3