Set up workspace with android sdk. This is arranged to build against API "Level 19" (Android 4.4.2)