added a second unicycle model with finer discretization and spec files with reactivity. Modified the dynamics simulator to include a plotting function and fixed gridding to match the abstraction.