AWS logo
Merge pull request #117 from shashi/aws-logo

AWS logo
Link to AWS
Merge pull request #118 from shashi/aws-logo

Link to AWS
added mpi libraries. added dockerfile dependencies

Added openmpi packages. ref #114

Dockerfile dependencies (core, julia_v0.3, julia_nightly docker images) which
were part of a separate project are now moved into the same project. We do not
trigger Dockerhub builds from github anymore as Dockerhub is not stable yet.
Merge pull request #122 from tanmaykm/tanmaykm

added mpi libraries. added dockerfile dependencies
miscellaneous config changes
add Roots package. ref #124
Merge pull request #125 from tanmaykm/tanmaykm

add Roots package and SSL config changes
University logos
Merge pull request #126 from JuliaLang/univ-logos

University logos
update julia version to 0.3.2

also includes:
- fixes to image building script
- rearrangement of admin screen
Merge pull request #128 from tanmaykm/tanmaykm

update julia version to 0.3.2
temporary fix for ijulia syntax highlighting
Merge pull request #129 from tanmaykm/tanmaykm

temporary fix for ijulia syntax highlighting