Implement Idris syntax checker support

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>