JLM remembers of your programming language (and cleanups)

- various cleanups around the properties on disk
- save the currently used programming language (as long as it's a
  stable one passing all tests, ie either python or java for now)
- mark some strings as translatable on the way (still many to do)