Enabled property files to be passed as `--option` parameter.

This relies on the new `util.read_properties` function.