Update PDF link and working Idris versions in README