indefinite_holders: new package containing an Ada 2005 implementation of Ada 2012 indefinite holders