Log Message: Add a build dependency on dvipsk, to build the manual.ps file, as it is no more provided by plain latex