Infra: Use dev-check in Jenkins build
Infra: Use dev-check in Jenkins build

Jenkins builds (both PR and master) are currently still running only
install-check. This commit now runs dev-check instead.

madlib/madlib,hpandeycodeit/incubator-madlib,njayaram2/incubator-madlib,apache/incubator-madlib,hpandeycodeit/incubator-madlib,njayaram2/incubator-madlib,orhankislal/incubator-madlib,madlib/madlib,njayaram2/incubator-madlib,madlib/madlib,orhankislal/madlib,apache/incubator-madlib,apache/incubator-madlib,hpandeycodeit/incubator-madlib,njayaram2/incubator-madlib,madlib/madlib,orhankislal/incubator-madlib,orhankislal/incubator-madlib,njayaram2/incubator-madlib,orhankislal/madlib,orhankislal/madlib,madlib/madlib,njayaram2/madlib,njayaram2/madlib,apache/incubator-madlib,njayaram2/madlib,orhankislal/madlib,hpandeycodeit/incubator-madlib,hpandeycodeit/incubator-madlib,apache/incubator-madlib,njayaram2/madlib,orhankislal/incubator-madlib,orhankislal/incubator-madlib,njayaram2/madlib,orhankislal/madlib