I'm really sorry if this is way too stupid to ask, but I'm a real noob in programming and I just want to control my Pi fan speed. Do I need to clone this repository and then run `sudo dpkg -I RPi_Fan_Controller`? Thank you in advance.