Make git ignore the hugs-database