openbsd has bash in /usr/local/bin

Properly license all nontrivial files

temporary undoing of renaming

Renamed packages

[pk,fesvr] improved proxykernel build system

Now uses a modified MCPPBS. Add --host=riscv to configure path.

Front-end server now just searches PATH for riscv-pk, so just install the pk
to somewhere in your path.