knots-0.1.0.1: Khovanov homology computations