Update the readme to discuss running z3-based saycbridge.com locally