Adding lstcoq.sty to repo. Will probably not use coqdoc and instead use lstcoq listings.
Also changed thesis to proposal in frontpage.
Added all tex files to repo.