Better document dev info

In my PR I added a "How to contribute" section which just makes it easier to see the compilation info. Some more documentation could make contributing a bit easier.

For example, right now I see there's CI setup and it appears to be doing some kind of linting. It'd be nice if how to run this linter was documented.