sync heap_lang LICENSE file
We fixed our LICENSE file in https://gitlab.mpi-sws.org/iris/iris/merge_requests/387, this syncs the fix into this repo.
We fixed our LICENSE file in https://gitlab.mpi-sws.org/iris/iris/merge_requests/387, this syncs the fix into this repo.