Use datetime.timestamp()

Includes nanoseconds and is timezone independend
Available from python 3.3 (older versions will still use timetuple)

devsupApp/src/devsup/db.py

@@ -254,6 +254,8 @@ class Record(_dbapi._Record):
         """
         if hasattr(ts, 'timetuple'):
             ts = time.mktime(ts.timetuple())
+        if hasattr(ts, 'timestamp'):
+            ts = ts.timestamp()
         if isinstance(ts, float):
             sec, nsec = int(ts), int(ts*1e9)%1000000000
         else: