Added beamerprogress bar files. Added notation.sty. Probably should combine with sometexdefs.sty.