Update of documentation, bug correction, and runnable jar