BaseModel.pnml

Changes CircularBlockingQueue into CircularBlockingDeque. This allows us to start supporting time travel for TF.
Adds an initial, limited implementation of time travel for TF. The buffer is very small because the current search is very inefficient.
Slightly improves the performance of NameResolver.resolve() by avoiding string concatenation of an error message during normal operation.
Improves equality and hash codes of Quaternions and Vector3s by ensureing 0 == -0.