Linknot: Knot Theory By Computer