Some tools for android app development