math/lean: Update 3.4.2 -> 3.17.1

The original Microsoft's account 'leanprover' is now archived, and the community account 'leanprover-community' carries the project on.

Also:

• remove tests from build
• add 'test' target