Add tools/ and manual/, move sources to src/master
treefb0db3dc63b6a75e02f56eebbd3b71fdca00d79d
drwxr-xr-x - manual
drwxr-xr-x - src
drwxr-xr-x - tools