Bugfixes in fetcher.py + function to find hal id