Drop 'cfa' subdirectory.

Now that we do our explicit automata parsing in Clang, we don't need this OCaml-based compiler any more.
Drop TESLA v1 assertions.

We are very much past this kind of operation now.
Update README with new website location.