README: State that we don’t have code to run a QBF solver yet