add license header to mirleft opams
Merge pull request #3029 from hannesm/add-mirleft-license

add license header to mirleft opams