Rename contract #1141

Job	Run time
build (stellar-cli, stellar, ubuntu-20.04, x86_64-unknown-linux-gnu)	14m 49s
build (stellar-cli, stellar, ubuntu-20.04, aarch64-unknown-linux-gnu)	17m 10s
build (stellar-cli, stellar, macos-14, x86_64-apple-darwin)	8m 38s
build (stellar-cli, stellar, macos-12, aarch64-apple-darwin)	22m 39s
build (stellar-cli, stellar, windows-latest, x86_64-pc-windows-msvc, .exe)	21m 30s
build (soroban-cli, soroban, ubuntu-20.04, x86_64-unknown-linux-gnu)	14m 38s
build (soroban-cli, soroban, ubuntu-20.04, aarch64-unknown-linux-gnu)	16m 43s
build (soroban-cli, soroban, macos-14, x86_64-apple-darwin)	11m 9s
build (soroban-cli, soroban, macos-12, aarch64-apple-darwin)	35m 26s
build (soroban-cli, soroban, windows-latest, x86_64-pc-windows-msvc, .exe)	21m 11s
	3h 3m 53s

Provide feedback