added libraries.
CoqTopXLMIO.java from prev commit was derived from the nbcoq repo