JuliaLang/JuliaBox — pull request #35 by tanmaykm (2014-08-22 08:46:40+00:00)
Title: dockerfile enhancements & recording usage stats

- dockerfile updated to use pre-built base image from dockerhub
- setup pulls prebuilt image from dockerhub
- record usage time per user