There doesn't seem to be any licences for the documentation, we should fix this. Which licence should we choose?