Initial commit: project specification and README