Add CI status image
Specify java target version in pom.xml
Fix broken assert in extgcd