Tweak re-exports from JuMP, close #11