Add legion headers to PREFIX/include/legion