[tor-commits] [onionoo/master] Bump version to 4.0-1.3.0-dev.