Some slight optimizations in dice kernel.
Improved output of parse_trace.py.
Increased interval after which the trace is dumped.
Merge branch 'master' of github.com:ginkgo/micropolis