Updated license and added conventions.tex