Add support for interval time bounds in hybrid engine

[GoogleCodeExporter]

Needed, for example, to verify P>0[ true U[0.001,0.001] na=6] for knacl.sm 
model.

Interval time bounds are supported by the sampling engine.

Original issue reported on code.google.com by hlsyou...@gmail.com on 4 Jan 2015 at 5:08