Moved src/stan -> src/external/stan