clean up directory structure

Move:

• webdocs to test-files;
• move *.lua in test-files to lua subdir;
• move freebsd and linux and docker to specific dir;
• move config to test-files;
• move formal to test;