[aur-general] about hal removing

Hi, it looks synce-odccm and thoggen hardly depend on hal. I suggest move it to community instead of removing.