Move development.ini to development.ini, and gitignore development.ini.

Tired of committing this by mistake, and I have an odd feeling I'm
not alone.