DC/DC converters

Buck, boost, and isolated DC/DC converters, documented and hackable.