Document how to set up development environment

[FeynmanZhou]

Notation only has a building guide. We need to document how to set up the development environment in the contributing guide. It helps new contributors get started with Notation development.

[FeynmanZhou]

As a follow-up action, we need to review this build.md and make sure it is up-to-date and friendly to new developers.