Renaming

Since it was in fact not GitHub but Eclipse itself that automatically
changed the .gitignore file, the simple solution was to go back to a
"bin" folder and disable the Eclipse option in the preferences panel.