Bump submodules

This updates the validation support in http/srcomp and the shepherding
module to use the latest api.
Update to remove hyphens we don't need.

Change-Id: I4694cd610a906941676408e37486675a51fbc163