De-accented filenames for the benefit of older and non-unicode aware filesystems (redmine Bug #422).

From now on, we should:

- have no capital letters in filenames
- have no non-ascii letters in filenames

We can still use filenames longer than 8 characters, though.