Der Grosse Rat des Kantons Appenzell Innerrhoden beantragt in seiner Vernehmlassung vom 7. Juli 1995, die Beschwerde abzuweisen. Er bringt vor, die streitigen Vorschriften seien gestützt auf
Art. 699 ZGB erlassen worden; die Bundeskompetenz im Bereich der Luftfahrt sei nicht abschliessend, weshalb die kantonalen Kompetenzen auf dem Gebiet der Raumplanung und des Baurechts nicht beschnitten würden. Das Luftfahrtrecht des Bundes befreie nicht von der Einhaltung der gestützt auf
Art. 699 ZGB erlassenen Verbote.
D.- In dem vom Bundesgericht angeordneten zweiten Schriftenwechsel bringen die Beschwerdeführer mit Stellungnahme vom 18. August 1995 vor,
Art.