Doc: add a couple more prerequisites to the developer setup