sql: core time should be bigint
Set a reasonable batch size for tasks and depend inserts.
thrift: added JobStatsT highClockTime (also updated highCorTime to long)
server: refactored stats system to use batch updates.
client: Converted all time values to longs.
server: fixed job board/thrift job queries to include high clock time.
Updated properties panel to display run times using formatDuration, not formatCoreTime.
thrift: added run procs to folder, job, and layer