Merge pull request #223 from viperproject/vpr-is-main-fileending

Makes '.vpr' the default file ending

Author: ArquintL

bors.toml

@@ -0,0 +1,9 @@
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+#
+# Copyright (c) 2011-2022 ETH Zurich.
+
+status = ["build-and-test"]
+timeout_sec = 7200
+