Fixed a bug in gnttab due to the conversion of gntref from int32 to int.
test_gntshr now tests gnttab as well.
Ignore *.{native,byte}.