dev/builds: Added a form to show only builds with desired options

This is done entirely client-side with Javascript, and is hidden for
those browsers with JS disabled.