Cleaning up options
Adding new DroidelClient class for Android analyses using Droidel to extend. Refactoring AndroidUIClient to extend this class and creating skeleton for race checking client