Nicer docs license name

DOCUMENTATION-LICENSE is so long.