ed3a58b6a2
* Attempt at simplifying top-level Makefile * Another sweep at tidying up Makefile * Further refinements * Remove deprecated clippy-happy and no-clippy targets