Revert "Ignore top-level Scala files"
Revert "Ignore top-level Scala files"

This reverts commit 269d945a2484bce9d6b5ca915920deb049469b07.

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless