Update devices/ServoDriver.cpp

not sure what the output stream for the serial port in linux is.
So it seems like write accepts any format number and so does fputs
so from the arduino code just change pololu.write() to fputs ()
baudrate should change to 9600