contrib/jenkins.sh: Build gprsdecode + laye23 with 'make distcheck'