Added link in README to the web based Z3 emulator