adding reference to bibtex
Changes for final copy, including removing most of Appendix B
Merge branch 'master' of github.com:roed314/padicprec