Update macros.md and macro-spec.md

Copy pasted and adapted a bit the contents of chapter 3 of _Scalable Metaprogramming in Scala 3_.

The previous version was based on _A practical unification of multi-stage programming and macros_.
This version was extremely out of date.

Author: nicolasstucki