git python redis docker telethon aiogram telegam bot development python asyncio automation engineer postgresql/sqlite python for automation