Clean up terminology

Replace brain with cerebellum, since the brain now also contains the
cortex.
Merge pull request #1 from discowookie/cleanup

Clean up terminology