Updated some docs to reflect removal of teensymud