changed detail view page to show html to get-one
- put the json response into detail_json()
- detail.html page now shows dependencies, proofs and theorem
manual merge