Moved semester to options.tex