Move appendix and proofs to a separate document
Update homepage listed on paper and appendix