remove erroneously-committed bibtext-built files and add them to gitignore