tutorial: update to latest Migen/Mibuild APIs + add info about Papilio Pro