Semester project: corpus based synthesis

[jmuth]

Master semester project of Joachim Muth with title "Corpus based synthesis"

Experiment various methods to compare functional trees between them. Given a function, use these algorithms to find the most similar tree contained in a corpus of functions. Try to suggest an autocompletion for a ”hole” in a tree, based on this corpus.

Add some documentations in "installation.rst" to help future installations on IntelliJ.