Include SMT-Web project link in readme