Added MageBehat extension to satis.json