Flashing now using openocd. GDB Debugging possible and tested :).
libopencm3 updated to lastest stm32f3 commit.
Adc example fixed (printing garbage before) and cleaned.

- Integer printing function fixed.
  	  - because of comparison against smaller than 0 numbers we must use signed numbers!
	  - Value zero was not printed at all.
	  - It was printing one more character than it should.
- Erasing unnecesary commentaries.
- Erasing debugging help.