DEVTOOLS: Tools for stata developers