LinKnot: Knot Theory by Computer (Series on Knots and Everything)