Move customizations into puppet scripts

This allows students to customize their environments as they see fit;
even to the point of completely turning off our pretty prompt stuff and
all, should they desire.
Merge pull request #216 from binford2k/wip/customizable_user_environment

Move customizations into puppet scripts