knots-0.1.0.0: Khovanov homology computations