Remove executables that were accidently previously pushed and update .gitignore to ignore them in the future