#142 ech2java should emit JSR-045 SMAPs

[Stephen Henderson]

ech2java needs to create JSR-045 SMAP information for later incorporation into java byte-code. This will enable debugging support of E4SS and pure ECharts (for Java) machines. Ideally, AbstractMAchine.py would create a *.SMAP file for each *.java file it writes. At build time, another tool will inject the SMAP into the resultant java byte-code.