Document 'make develop' with the rest of the make rules

Although it's a one-line wrapper, people are likely to look next to the
other make rules for this.

This make rule also does not require mapcat.