Update specification.tex

-- Created section to add progress report