differential: add missing test files

The source code in test/dynamics are missing. We restore them from the
old recordb Git repository and we apply VLE's coding style.