Use home directory for Prelude and history files

Resolves #490 
This allows us to make binary distributions for Ubuntu at least.