[UIRefresh] Fix odd border around welcome page elements
Merge branch 'master' into ui-refresh
bumped version-checks for migration API changes
Let's diagnose why the windows build can't find git
Fixed 'Bug 8245 - Help on unresolved types should perform a search'
[TextEditor] Fixed child widget positions on windows.
Updated nrefactory / Fixed 'Bug 8103 - [ui-refresh] Default parameters should be treated as unknown value for code analysis'.
[ui-refresh] Tooltip pager colors are now themed.
[TextEditor] Double click now unfolds folded fold marker.
Diagnostic output ftw
[Refactoring] Cleaned up results editor extension/fixed potential
problem.
Fixed 'Bug 8257 - Incorrect entry selected in code completion list''
Made animation classes public, so they can be used in addins
Improvements in the welcome page

The welcome page is not a document view anymore. It is now shown as an
overlay on top of the dock frame.

Changed the way branding is supported. Instead of loading the welcome
page contents from an xml file, the welcome page is now a widget that
can be replaced by an add-in. The content of the welcome page is added
by the subclass of WelcomePageWidget. This allows more flexibility in
the customization of the widget.
Bump md-addins
Fix build
Bump md-addins
Welcome page improvements

Hide the bottom bar when the welcome page is visible.
Other minor fixes.
Fix build
Don't hide the document tab bar if there are no open documents

The navigate back/forward buttons always need to be available.
Removed IsHidden property from IViewContent since it is
not required anymore.