Board selection should set pin count etc.

[whbruce]

Currently hard coded in source/board_config.h

[arfoll]

So I was thinking this is something user sets, like if he wants 3 GPIOs then he says #defined MRAA_GPIO_NUM 3 and that overrides our (sensible) defaults to reduce mem footprint.