Add PORTING file (currently incomplete)