Add why use Goodel to Readme