py: Allow to override port config file and thus have >1 configs per port.

Use it like:

make CFLAGS_EXTRA="-DMPCONFIG_FILE=mpconfigport_my.h"
Why not MP_CONFIGFILE?