service openpetra-server: deal with several postgresql versions.
use /opt/mono instead of /opt/mono-openpetra