added instructions on sagetex