Update manual.txt

Point to the bug tracker at github instead of googlecode.