Merge pull request #159 from tanmaykm/tanmaykm

auto scaling improvements, config tweaks, added curl
Merge pull request #160 from tanmaykm/tanmaykm

added Stan.jl. fixes #158
Merge pull request #161 from tanmaykm/tanmaykm

console color scheme selectable (default dark)