jfkw moderate recommended

Recommended update for vexctl

This update for vexctl fixes the following issues: - Update to version 0.3.0: vexctl