Updated hanoidb and cleaned up some unused code.