Updated fenix sdk references to the new name fenixedu sdk