Change string representation of arrows

up arrow representation: "t" -> "u"
down arrow representation: "b" -> "d"
Extract solver example out of JUnit.
Add Infinitest
Merge pull request #1 from fbessho/naming-conversion

Naming conversion