Add tools to the list of app.src applications

Author: kostis

src/proper.app.src

@@ -32,5 +32,5 @@
             {"Official Documentation", "https://proper-testing.github.io/"}]},
   {vsn, "1.5.0"},
   {registered, []},
-  {applications, [compiler, kernel, stdlib]},
+  {applications, [compiler, kernel, stdlib, tools]},
   {env, []}]}.