A program for computing and studying Khovanov homology