c: hello_puts.c without patmos specifics.
doc: short note on Xilinx stuff
c: memtest* changed to test smaller memory area.
Merge branch 'master' of github.com:t-crest/patmos
doc: figure of the global address space added.
doc: minor typos
doc: note that the usblib path is for 32-bit Ubuntu
c: memory test
test: fix bootable memory test
Merge branch 'master' into isarev_m23

Conflicts:
	c/memtest_cmp_boot.c