USB Type C Adjustable Power Supply

A tiny adjustable power supply that uses a [PD Buddy](https://hackaday.io/project/20424-pd-buddy-sink) to source power over USB Type C and a [Rui Deng] (https://rdtech.aliexpress.com/store/923042) DPS5005 adjustable power supply does the adjustment. Both support up to 5A, and while the DPS5005 supports 50V, USB Type C only goes up to 20V. Technically, you could use a DPS3005 and save a couple of dollars instead. Additional context and full res photos on [my blog](https://eclecti.cc/hardware/tiny-usb-type-c-adjustable-power-supply).

Assembly is pretty straightforward.
1. After printing the housing, stick M3 nuts into the bottom.
2. Install the banana plug terminal. Any 0.75" spacing terminal should work, though I bought a Highrock branded one off of Amazon.
3. Install wires onto the terminals and onto the PD Buddy. Make sure you've programmed the voltage and current settings for the PD Buddy,since the programming button will no longer be accessible (or modify the CAD to ex