Various scripts to make your life at HPI easier on a unix/linux machine