cleaning up repo.

remove old file which was still tracked but should have been
deleted/renamed.
add .settings/ directory to .gitignore.