adding doctool.js to make local changes to that file, closes #24