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