Steenrod Squares On Khovanov Homology And An Implementation