Build #19 (Aug 10, 2016 7:34:08 PM)

PR #14: add jenkins badge

	No changes.
	GitHub pull request #14 of commit b4c67ab269a8575f6fc8b29bba3b3427bb068bf6, no merge conflicts.