Use requirements-dev.txt in setup

Author: rocky

.github/workflows/osx.yml

@@ -29,5 +29,5 @@ jobs:
         make develop
     - name: Test Mathics
       run: |
-        pip install pytest pexpect
+        pip install -r requirements-dev.txt
         make -j3 check

.github/workflows/ubuntu.yml

@@ -29,4 +29,4 @@ jobs:
     - name: Test Mathics
       run: |
         pip install -r requirements-dev.txt
-        PYTEST_WORKERS=-n3 make -j3 check
+        make -j3 check

mathics/builtin/logic.py

@@ -320,8 +320,8 @@ def apply(self, args, evaluation):
 class True_(Predefined):
     """
     <dl>
-    <dt>'True'
-        <dd>represents the Boolean true value.
+      <dt>'True'
+      <dd>represents the Boolean true value.
     </dl>
     """