Various fixes/improvements for 6.1

[nmacedo]

Various improvements and small fixes, including:

• new colorblind-friendly palette (Add colorblind-friendly palette #234)
• magic color for nodes (Use a different color for every sig from scratch when opening Viz (a.k.a poor man's magic layout) #229)
• color of relations preserved along trace (Magically-colored relations change their color from step to step #230)
• a warning is thrown for in-line implicit conjunctions (Warn the user about in-line implicit conjunctions #212)
• meta-capabilities fixed and extended with mutable features (Meta capabilities does not work #174, Fix and improve meta capabilities #194)
• split view for visualizations other than graph, highlighting changes (Add split panes for text, table and tree view #193)
• actual used scopes always reported (Add warning/message to recall that some bounds should be exact #29)
• default scopes for default runs (Different scope defaults when not using run #144)
• fixed visualization of skolem functions with past ops (Issue visualizing skolem funs with past operators #178)
• derived functions from imported modules are now shown in the visualizer (Include derived functions from imported modules #250)
• new theme option to automatically hide all skolem elements (Hide skolems in the visualisation #242)
• support for new electrod version with int support
• other small fixes to the visualizer (Trace stats not updated when "execute all" #213, Textual representation of an instance shows redundant and low-level information #207, Theme font size not working #206, Private subsigs appear in viz #177, Error evaluating skolem #175, Skolemization results on Table View  #74, Export to predicate not working #233, Only subsets have namespace in viz #247, New trace not disabled when no more inits/forks #248, Imported atoms break table view in evaluator #279)

[awwaiid]

I built this locally and have run it on a few simple examples and all looks great. I like the split panes. I've likely only exercised a fraction of these changes, but thought I'd share an experience report :)

[grayswandyr]

Nuno, should we review and merge the PR or do you still intend to work on it?
Pinging @pkriens for eventual merge decision.

[pkriens]

I am ok to merge if Nuno is ready.

[pkriens]

@nmacedo shall I resolve this for you and merge?

[nmacedo]

@nmacedo shall I resolve this for you and merge?

done, ready for merge

[pkriens]

@nmacedo can you rebase it? Then I will merge it.

[pkriens]

I want to start the release.

[nmacedo]

@nmacedo can you rebase it? Then I will merge it.

Done, should be ready to merge.

[awwaiid]

yaaaaasssss