PatchDock and SymmDock: servers for rigid and symmetric docking.

PatchDock and SymmDock: servers for rigid and symmetric docking.