Added support for profiling and optimization to 'smten' tool.
Refactor 'smten' tool again.

Now we are using it for shampi and sketch.
Minor documentation cleanup.
Renamed 'smten-plugin' package 'smten'.

Also updated documentation and made it easier to build.
Release 4.0.0.0 of smten and friends.