A Parser for Idris iPkg files written in Idris using Lightyear.