Set version to 0.5.0

(it's still not correct, but better than HEAD)