In order to make GitHub detect automatically the license of the
repository, a LICENSE file needs to be at the root level of the git. We
took the opportunity to reorganise the license information in different
places.