more additions to IMasterController, updated DevCardController