Update mysql installer"
Merge branch 'ubuntu' of https://github.com/pulibrary/pul-store-deploy into ubuntu