filled in some stubs, created a new coq file for desired tool functions, added .glob and .vo files to the gitignore