build dbdoc on Jenkins server.
nant dbdoc should run even if dia.exe is not installed.
dbdoc on jenkins server: only create dia files on windows
merge from lp:openpetraorg