Updated .gitignore to ignore *.ctxt