altera_quartus: fix clock domain name
crg: use new platform.request
crg: apply constraint to IO pins, not internal signals
platforms: add Papilio Pro
mibuild: define memory card pins of the Milkymist One platorm

This patch adds the memory card pins to the M1 platform definition in
mibuild.

I've tentatively named them "mmc". As far as I can tell, "MMC" is not
trademarked ("MultiMediaCard" the new "eMMC" would be), and "MMC" is
commonly used in the industry in a descriptive way to refer to this
sort of interface.

The original Verilog-based M1 calls the interface "mc", but since
several names have changed between milkymist and -ng, I thought I'd
use a more familiar name.

Usage example (clock signal divided by powers of two on the MMC TPs):
https://github.com/wpwrak/ming-ddc-debug/blob/counter-on-mmc/build.py

- Werner
xilinx_ise: add --no-source option to disable sourcing of ISE settings file
xilinx_ise: do not attempt to source settings file on Windows
add counter declaration in README
merge
Merge branch 'master' of https://github.com/milkymist/mibuild