First SnuggleTeX + JEuclid tests