Fix license in opam file to adhere to SPDX.

1 job for master in 32 minutes and 27 seconds (queued for 2 seconds)