Portable Profile fixes

Pull request for #100
* Rename target portable-net4+sl4+wp71+win8 to portable-net45+sl5+win8
* Add a real portable-net4+sl4+wp71+win8 target
* Make the wp7 target work again