Merge tag 'bfgminer-3.1.2' into bigpic

BFGMiner version 3.1.2

Conflicts:
	miner.c
Merge tag 'bfgminer-3.1.3' into bigpic

BFGMiner version 3.1.3
Merge tag 'bfgminer-3.1.4' into bigpic

BFGMiner version 3.1.4
Merge commit '9a62026' into bigpic
Bugfix: bf1: Add missing header to Makefile.am, and fix .dname/.name
bf1: Reduce loglevel of debug messages