adds runtime 'time_format' option to PY
Merge branch 'dates' of github.com:rethinkdb/rethinkdb into dates