Install gerrit with mysql backend.