The global software company is teaming up with a Canadian university to make it easier to program smart buildings and other IoT-equipped environments.