Remove "Properties..." entry from desktop context menu (#59)

Still keeping it for icons though.
2 jobs for master in 1 minute and 51 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #2016
build

00:00:48

 
  Distcheck
passed #2017
distcheck

00:01:03