Grammarly acquires productivity startup Coda, brings on new CEO