Bump version: 0.5.0 → 0.5.1 to mark a stable version before the big changes (async Environment etc.)#695