Added references to patmos-tr, added note to manual.tex