switch to github pages for the debian repo
some old updates for 3.2