Как быстро расставить точки с запятой, имея 10000 строк кода…?

Коротко:

Нужно автоматически ПРАВИЛЬНО расставить "точку с запятой" в javascript библиотеке.

Длинно:

Появилась весьма интересная проблема. Делаю редактор кода онлайн, решил использовать code mirror.
И возникает весьма интересный вопрос. Как сжать библиотеку?
Проблема в "особом" стиле написания кода... Там редко используются точки-запятые.
Компрессору, соответственно, нужен нормальный код.

Подскажите, что делать. Может, есть регулярки какие-то для Python или PHP?
Или есть уже минимизированная версия..?

Пример того ужасного (по моему мнению) кода:

var gecko = /gecko\/\d/i.test(userAgent)
var ie_upto10 = /MSIE \d/.test(userAgent)
var ie_11up = /Trident\/(?:[7-9]|\d{2,})\..*rv:(\d+)/.exec(userAgent)
var edge = /Edge\/(\d+)/.exec(userAgent)
var ie = ie_upto10 || ie_11up || edge