Rename some TESLA tools to play nicer in $PRE/bin.

* graph-manifest -> tesla-graph
* read-manifest -> tesla-read
* get-triple -> llvm-triple
Rename tesla-analyser -> tesla-analyse.

I think the name of the command makes more sense as a verb.
Rename make variables of tools to be verbs.
Make TESLA binaries available for installation.