Update debian license to better reflect the license of the source