Add web-worker option to glpk.js