Added a randomized timer class. They are not yet used anywhere though.