debian: fw 1.8.0, fpga 0.1.2, HTTPS

Update pointers.  Also use HTTPS by default.