Code: Added new proposition enums
Karel: Added a getter function to return 'facing' value in Karel
Controller: Added a function to get the executionMessage after execute() is called