Update properties view documentation

Documentation consistent with
https://github.com/metaborg/runtime-libraries/pull/9 and https://github.com/metaborg/spoofax/pull/5