Adding basictex and colloquy