Make dev-build.py work when called from another directory
Fix/improve/convert-to-Python gdb-lasercake and callgrind-lasercake