Bight console colors added to settings.
Default console colors as in xterm palette,  gray and dark gray from standard vga palette for better readability.
Bright yellow made more visible on white background.
Console colors for Darcula.
Merge remote-tracking branch 'origin/master'
new inference: init inter call inference
new inference: symmetric variable bounds
new inference: default constructor as poly expression argument
new inference: emulate fresh variable - do not override vars with captured ones
new inference: expression inside condition should be poly, target type for conditional expression