Protein knot server: detection of knots in protein structures | Synapse