Make use of dmidecode v2.12

dmidecode v2.11 (the version of dmidecode used until now) has had some changes
from 19th Jan, 2011. dmidecode v2.12 was released on 17th Apr, 2013 and since
then there have been some patches too (1.173, 1.175, 1.176, 1.177, 1.181). The
Victor Coding's port of dmidecode v2.12 (see below) includes some of them
(1.173, 1.175, 1.176 and others).

* Official site of dmidecode (source code only)
http://www.nongnu.org/dmidecode/

* dmidecode v2.10 & v2.11 for Windows (Ports of Robert Riebisch)
http://www.bttr-software.de/ports/

* demidecode v2.12 for Windows (Port of Victor Codin)
http://elgenieben.blogspot.com.es/2013/10/dmidecode-212-windows-port.html

This commit closes: #2795