Developer notes

Find some contributor instructions in DEVELOPER.md.