added tools_robin stack for documentation
Merge pull request #2742 from robinJKU/master

added tools_robin stack for documentation