Preliminary version of new web interface

[danieldietsch]

Our new webinterface is live: https://ultimate.sopranium.de

There are still some things that could be improved. Lets track them here.

• [ ] P01: Update descriptions
• [ ] P02: On landing page: "Development" after "Description" and before "Tools".
• [x] P03: On landing page: header"Description" might be useless
• [x] P04: I dont like the design, it does not support the structure. Users are overwhelmed because it is unclear what a button or link is. The old design was much better.
• [x] P05: Tool pages are labelled with "Ultimate ULTIMATE X", (X is the toolname). The doubled prefix is confusing.
• [x] P06: The tool pages do not link to the webinterface anymore.
• [x] P07: Logos of Automizer and LassoRanker are missing
• [ ] P08: Tool interfaces: wide resolutions move the buttons too far to the right.
• [ ] P09: Tool interfaces: narrow resolutions hide buttons.
• [ ] P10: Tool interfaces: Changing font size changes the font size in the result area too much.
• [x] P11: Tool interfaces: Result mini-window has result type, I think this is too much information.
• [ ] P12: Tool interfaces: "Execute" label is too generic. The label should be what the tool does,
• [ ] P13: Tool interfaces: If there are no settings, the settings button label is confusing.
• [ ] P14: Tool interfaces: There are "Settings" and "Create Sharable Link". "Settings" is a check box. "Create Sharable Link" is a button. It is somehow not consistent. One should separate these things somehow. I am also unclear on how to do that.
• [x] P15: Tool interfaces: "Create sharable link" without period and lower case. Or all words in settings upper case.
• [x] P16: Tool interfaces: Version without "Using"
• [ ] P17: Landing page: should probably not contain dependencies
• [ ] F1: Landing page: there are a lot of tools, perhaps too much. But I dont know how to make it better.
• [ ] F2: Tool interfaces: Execute button is too small and can be easily overlooked.
• [x] F3: Landing page: the developer list is really long. Perhaps separate into active developers and contributors, like in the README? And perhaps nicer formatting.

[schuessf]

• [x] Add GemCutter
• [x] Update examples (add concurrent, check present ones)
• [x] Remove Petri-Automizer as a tool? It uses the old concurrent trace abstraction and does only crash. The new approach should be present in Automizer
• [x] Add data race settings?
• [x] Should LassoRanker have its own web interface or simply be merged with BüchiAutomizer?
• [x] Eliminator does not produce any result, what do we expect?

[maul-esel]

• [x] Tool pages should link to web-interfaces