Bump release version for '0.1.3'
tools/pipbot: Add 'undeploy' command

Issue #178.
tools/pipbot: Fix 'release finish' command

Issue #178.
Merge branch 'release/0.1.3'