Use has_internet to skip planet tests requiring network (for GRETA).
Testing
[x] Passes unit tests on MacOS and skips planet tests correctly with no internet
[x] Functional testing - unit tests run with and without internet (skipped without) are the functional tests (though the maude tests will presently fail for the case of really no internet on a laptop).
Description
Use has_internet to skip planet tests requiring network (for GRETA).
Testing