Clean up filenames in innodb/20130104
Add .gitignore