Add info about dev vs. prod builds

Also moved the dev builds first because that's what most people will want.
[docs] Remove commented out ghbtns