Merge branch 'develop' of ssh://gitorious.psi.ch/sinqdev/sics into develop

Conflicts:
	fourmess.c

devexec.tex

@@ -118,6 +118,8 @@ $\langle$devcheck {\footnotesize ?}$\rangle\equiv$
 \mbox{}\verb@  int DevExecTask(void *pEL);@\\
 \mbox{}\verb@  void DevExecSignal(void *pEL, int iSignal, void *pSigData);@\\
 \mbox{}\verb@@\\
+\mbox{}\verb@  int GetDevExecInstStatus(pExeList self);@\\
+\mbox{}\verb@@\\
 \mbox{}\verb@@$\Diamond$
 \end{list}
 \vspace{-1ex}