mpl_tab_get_args
driver names are not case sensitives
Merge branch 'master' of https://github.com/hgourvest/glpk.js