Brain options

Below is a list of options related to the selected brain:

 * Brain Gallery: A range of pre-made default brains. Contains all user saved brains too.
 * Save Brain: Save a brain into the brain gallery
 * Rename Brain: Change the name of the specific brain
 * Rename Page: Change the name of the selected brain page.
 * Copy Page: Copy the slected page into memory.
 * Paste Page: Paste into the selected page. Pasted tiles will stack with existing tiles.
 * Delete Page: Delete the page permanently (no undo)
 * Game Options: Open settings menu.