Add Tomcat public metrics for session usage

Fixes gh-1860
Merge pull request #1860 from joshiste/metrics/activeSessions

* metrics/activeSessions:
  Add Tomcat public metrics for session usage