Adding conversion for functions of the Java Character library

This processing of java method calls is meant to replace simple
methods of the Character Java by expressions on characters.
About 60% of the library is supported, but for some of this
methods are limited to ASCII characters.
This is meant to be run in conjunction with the string refinement so
it is called if the string-refine option is activated.

Rename conversion_input to conversion_inputt

Corrected linting issues

Author: romainbrenguier

src/java_bytecode/Makefile

@@ -6,7 +6,9 @@ SRC = java_bytecode_language.cpp java_bytecode_parse_tree.cpp \
       java_root_class.cpp java_bytecode_parser.cpp bytecode_info.cpp \
       java_class_loader.cpp jar_file.cpp java_object_factory.cpp \
       java_bytecode_convert_method.cpp java_local_variable_table.cpp \
-      java_pointer_casts.cpp java_utils.cpp
+      java_pointer_casts.cpp java_utils.cpp \
+      character_refine_preprocess.cpp \
+      # Empty last line
 
 INCLUDES= -I ..