contrib/jenkins.sh: also run Dialyzer

Dialyzer is a static code analyzer for Erlang, see:

https://www.erlang.org/docs/23/man/dialyzer.html

Change-Id: Id9fe11e9eb36d7ed468288094095a6d38b2d1d49
---
M Makefile
M contrib/jenkins.sh
2 files changed, 17 insertions(+), 0 deletions(-)

diff --git a/Makefile b/Makefile
index 6d3ded2..2a14fe7 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,9 @@
 check: $(GEN_FILES)
 	rebar3 eunit
 
+analyze: $(GEN_FILES)
+	rebar3 dialyzer
+
 clean:
 # Avoid running rebar3 clean if _build doesn't exist, since it would try
 # to fetch deps from the Internet and that may not be avaialble when in
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index df99a89..c738791 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -3,3 +3,4 @@
 make clean
 make
 make check
+make analyze

