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.