Provide Monitors.unregisterObject methods
Simpler interfaces for DynamicTimer/DynamicCounter
Merge branch 'master' of github.com:dmuino/servo
fix Monitors conflicts
Better docstrings
Merge pull request #117 from dmuino/dynamic

Improvements to Dynamic Monitors API