Community tool for AIDE Android integrated development environment (IDE)