Reasoner Server Configuration

Imported from Confluence (source, last edited 2019-07-15). Screenshots are the old UI — flag for GIF/clip re-capture.

• Configure new Reasoner Server to use.