Add --dev option to mach build …
Require either --dev or --release, unless a default build.mode is set in .servobuild. Fixes #5933.