Added abbreviation for codebox environment
Better specification for anki.tex autocommand