Updated compiler documentation to be used on loci-lang.org website, in particular adding a theme.