Properties to props

Solves issues with use of (standard) iso8859-1 encoding for .properties files, instead of using the (non-standard, but easier to work with) utf-8 encoding used everywhere else.

We hereby standardize on utf-8, and in order to avoid confusing standards-wary tools (Eclipse), change the extension to .props.