update devel to match 0.13 spec

Bumped examples to 0.13 and made sure they validated