Measurement can now be taken on PIC32MX250F128B platform.

    * configure.ac: Added LDFLAGS definition to wrap main
    * src/common.mk.am: Added linkerscript
    * src/platformcode/pic32mx.ld: Linkerscript for the pic32mx
    * src/platformcode/pic32mx_startup.s: Added code to jump to the
        reset vector in the pic boot memory
    * src/platformcode/platformcode.c: Toggle PA4, as well as a wrapper
        around main, so that exit is called, instead of main being
        repeated.
Small fixes for benchmark compilation

    * src/bsort100/bsort100.c: Remove dependency on timing
    * src/st/st.c: Remove dependency on timing
Merge branch 'pic32mx250f128b' into jp

Conflicts:
	ChangeLog
	src/common.mk.am
	src/platformcode/platformcode.c