Added subversion cleaned up banner login a bit.
reverted back ubuntu 12.10, yanked docker due to issues with virtualbox