Collection of various tools for internal use during development.

Directory content:
ad-hoc          - developers' sandboxes
git-utils       - number of lines of code
log             - results of performance tests
math            - code used to derive or/and to test math code
profiling       - scripts to run code profiling using valgrind/gperftool
user-api        - collection of tools to generate User API description