Updating the readme

No big deal.
Readme is close to be real now

It provides some information at least.
Hanoi towers

Added a some code for hanoi towers (3 pegs) for a "kata", lazy version
and "normal" version. It's interesting because it's not possible to
reuse the same generator in the lazy version, I may try this same kata
with different languages to test their lazy and functional capabilities.

Also notice that I'm not passing the parameters down, but _up_, which
means that **partial results can be reused**. I'm using templates to do
some kind of "variable unification", suggestions about this are welcome,
it _feels_ like it could be much better but I cannot find the way at
this moment (may try next weekend again).
Considering mereologies in relationChecker

The support for mereologies is partial (very partial), but that's all
what makes sense in the current context. In this case relations like X
subclassOf partOf some Y do not make sense, since anything that is
necessarily part of something bigger would not be a first class citizen
and would not be considered for relations, thus, we only need to get the
contents of some aggregate considering those contents may (also) exist
without a container.
java/unicornPatter created

Commiting only for timestamping purposes, I coded this yesterday in a
few minutes and will make the jUnit during the weekend. Really simple
solution to the puzzle, so I guess that was not what they were aiming
for...
Two more py3/hanoi

Short and fun.
New constructor for MultiOntologyRelationChecker

Added a new constructor that takes as a single argument a Collection of
ontologies (by URL), if there are many ontologies to remove and add at
any given time it's probably going to be easier (and way more efficient)
to simply drop the previous object and create a new one.