Simplify the SPI framework in lphy

[walterxie]

• Use the ServiceLoader to load different types, instead of one loader for every types.
• In addition, move all declaration into module-info.java, so that eventually remove all classes inheriting the Extension interface.