Update LICENSE and README.md
Import idris programs