ubuntu paths
Merge branch 'master' of github.com:joehuchette/StochJuMP.jl
Merge branch 'master' of github.com:joehuchette/StochJuMP.jl
random fixups