v8.5.0

What's new

• A make-global command to make a global. 0f1ef00 by @robdekort
• A make-taxonomy command to make a taxonomy. 0491210 by @robdekort

What's changed

• Important: Use make-* signature instead of add-* in Peak make commands. 8692ea2 by @robdekort