Changes for Holmgard/Ortega/Shaker data.

Fix ii metric. Reduce different-length penalty. Made running more
important than movement. Read CSV Mario files.
Add trace dataset to gitignore
Fix time padding for sequenecs of unequal length.
Use defrecords for trace collections, traces, domains, and inputs.
Use records. Integrate Refraction dataset.