Add redis option for batch jobs-db

[dazza-codes]

Add a new batch jobs-db implementation that can use redis for higher throughput on batch jobs. Try to keep the same API as the existing implementation using tinyDB. If necessary, modify the API for a common ABC and update any consumers of the API for batch jobs-db.

[dazza-codes]

Now available in aio_aws.aio_aws_batch_db.AioAWSBatchRedisDB

• the redis dependencies are optional, so it's not the default bach-db
• it shares a common ABC with aio_aws.aio_aws_batch_db.AioAWSBatchTinyDB