syncing contrib/libats-/bbarker/OpenMP with contrib/OpenMP
added omp for example; typechecks but doesn't compile
produced a bug in ATS
working OpenMP for loop
Merge pull request #7 from bbarker/master

Added working OpenMP for loop example (omp_for.dats)