Add Scalatron docs.