Remove :aot (am no longer re-implementing BAIS)

Also fix minor whitespace error in readme.