Consider using a saner SQL query splitter

We need a query splitter for the install process as well as for upgrades. We're currently doing a preg_split(/;$/m, $query) heuristic, which works in our cases as long as we remember not to put whitespace at the end of query lines (and don't have message templates ending in colons).

We should fix this by using a saner query splitter.