Introduced typedef for DLL-return-type.
Providing the option to count and output all solutions.

Plus a few service-functions.
New targets for "ctawSolver" ("c" for "counting").
Software for vdW-numbers by Pascal Schweitzer.