Prelude customizations
Modified gitignore