Buttons & Styles now support hover effect on standard buttons too.

Before we only had the mouse hover effect on Flat buttons. But now the
Style can enable hover support for normal buttons too. Important for
Win7 and MacOSX like themes.
core: Debug output is now sent to the Debug Server instead of console output.

This makes testing a bit easier on all platforms.