Add support for ISNIs on artists and labels
jenkins.sh: Use CREATE EXTENSION