Add jQuery model support for the concolic runtime and add option to select target generator