Reduce DB-load for build-queues by storing last_update in Redis

See merge request !8084