Add a copyright/license header in check.ml