- Added log instrumentation to devexe

- Added a hill climbing option to optimise
- Added hrpt files


SKIPPED:
	psi/libpsi.a
	psi/sinqhmdriv.c
	psi/tabledrive.c

devexec.h

@@ -152,11 +152,7 @@
   /*
    continues execution
   */    
-  int DevexecAction(SConnection *pCon, SicsInterp *pSics, void *pData,
-              int argc, char *argv[]);
-   /*
-    * various commands
-    */
+   
 /*--------------------------- Locking ---------------------------------*/
  
 #line 183 "devexec.w"
@@ -171,5 +167,6 @@
         
         pExeList GetExecutor(void);
         void     SetExecutor(pExeList pExe);
-   
+/*----------------------- Logging -----------------------------------------*/
+   void DevexecLog(char *op, char *device);   
 #endif