Make RedPen server configurable

This pullreq is to make the redpen server configure through command line option. The following is a example of the usage.

    $java -jar redpen-server/target/redpen-server.war --port  9000