Fix JediTerm build script and instructions