Generalized .gitignore and minor tweaks to Bot.hs