debian: Remove patch 51_wmaker_man.diff; applied upstream.