Unify badges to SVG in shields.io style
Merge pull request #178 from jirutka/master

Unify badges to SVG in shields.io style
Add missing synchronizations to TimerSet
Merge pull request #179 from pitr-ch/pools

Add missing synchronizations to TimerSet
First draft IVar-Future-Promise-Probe unification
Adding Delay and benchmark of the synchronization