adding documentation for generating pimux.bsv