Renames devel to develop ...

Signed-off-by: Markus Hubig <mhubig@gmail.com>