Add CI job for mypy #148

	name: Mathics3 (macOS)

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: '**'

	jobs:
	build:
	env:
	LDFLAGS: "-L/usr/local/opt/llvm@14/lib"
	CPPFLAGS: "-I/usr/local/opt/llvm@14/include"
	runs-on: macos-latest
	strategy:
	matrix:
	os: [macOS]
	python-version: ['3.9', '3.10']
	steps:
	- uses: actions/checkout@v4
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install OS dependencies
	run: \|
	brew install llvm@14 tesseract remake
	python -m pip install --upgrade pip
	- name: Install Mathics3 with full Python dependencies
	run: \|
	# We can comment out after next Mathics-Scanner release
	python -m pip install -e git+https://github.com/Mathics3/mathics-scanner#egg=Mathics-Scanner[full]
	git clone https://github.com/Mathics3/mathics-scanner.git
	cd mathics-scanner/
	pip install -e .
	cd ..
	# python -m pip install Mathics-Scanner[full]
	remake -x develop-full
	- name: Test Mathics3
	run: \|
	make -j3 check

Provide feedback