Update paths to bitfile and debug probes file
In #46 (closed) and #51 (closed) we moved to a recent version of ipbb which generates bitfiles and debug probes with the name [project name].(bit|ltx)
instead of the earlier top.(bit|ltx)
. We need to adjust to that in the deployment scripts (and also, external to this repo, in the reset server, etc.).