[sr-dev] sercmd renaming

[Juha Heinanen]

currently i have to make these hacks in order to rename sercmd and
DEFAULT_CTL_SOCKET:

	# Rename sercmd and DEFAULT_CTL_SOCKET
	sed -i -e 's/NAME=sercmd/NAME=sip-proxy_ctl/' utils/sercmd/Makefile
	sed -i -e 's!sercmd/sercmd!sercmd/sip-proxy_ctl!' Makefile
	sed -i -e 's/ser_ctl/sip-proxy_ctl/' modules/ctl/ctl_defaults.h

those hack should not be needed and renaming should happen automatically
based on MAIN_NAME or SHORT_NAME.

i tried once to hack the makefiles for that, but was not successful.

-=- juha