add spiceproxy man page