Add the '--with-platform' argument and the sifive-vc707-devkit platform

Since we don't have a coherent platform specification right now, we've
ended up with slightly different platforms between spike and our FPGA
dev kit.  For now I've added an autoconf option that allows users to
select the relevant platform.