Howdy all,

sorry for late answer but:
1) HIP numbers contains only first 3 catalogues - stars_0_0v*.cat .. stars_2_0v*.cat
2) Stellarium before 0.12.2 use 2 different names for stars, since 0.12.2 - 3 different names. Scientific names you can found within stars/default/names.fab file, proper names can be found within every skyculture (variable stars can be found within stars/default/gcvs* file)
3) If you want add designation to all stars then you should refactored all catalogues :-/

--
With best regards, Alexander