Adding custom build system for Jenkins

Had to deal with some issues with character encodings. The section sign
used for color codes gives javac trouble on some platforms with some
encodings, so better to provide it as an escape sequence.