Format stuff, remove redundant files

Update .gitignore