Java: add github version badge