More fixes for tabs, and added Magnus Karlsson's Pipistrello (Xilinx) port.

Hi Rick, can you merge this into your tree?

By the way the documentation files and readme's are getting increasingly outdated with the BeMicro and Pipistrello targets. I'll do some work on those next.

Thanks!

===Jac