Merge pull request #2189 from adriaanm/ticket-7195

[nomaster] SI-7195 minor version mustn't introduce warnings
Merge pull request #2190 from adriaanm/test-runs-mima-2.10.1

test.done again checks bin compat (using mima 0.1.5)
simplify dependencies between patmat components, remove self types
move sat solving to separate file
better names for components of MatchTranslator
[port] SI-7183 Disable unreachability for withFilter matches.

This is a forward port of #2168 (originally for 2.10.1,
but the pattern matcher has since been refactored in 2.10.x.)
Merge 2.10.1 into 2.10.x

The fix for SI-7183 in 440bf0a8c2 was forward ported in f73d50f46c.

Conflicts:
	src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala