Fix trace sampling semantics; reorder source.

* Makes model.hpp part of library interface; genericize
  value, time types.
* Clarify separation of concerns between model and miniapp.
* Model keeps a record of (local) probe ids for sampler
  attachment by caller.