dev: introduce a new consructor,

NaiveTheoremAttribute(Func<MethodInfo, ITestFixture>)
dev: FixtureFactory type 변경

Func<ITestFixture>에서 Func<MethodInfo, ITestFixture>로 변경.
dev: add missing test

v0.5.1에서 빠뜨린 테스트 하나 추가. 사실 이 테스트는 없어도 TDD상
문제는 없으나, 명시적으로 테스트를 작성하는 것이 전체 테스트들을
이해하는데 도움을 줄 수 있음.
dev: 몇몇 테스트들 이름 변경

NaiveTheoremAttribute(Func<ITestFixture>) 생성자와
NaiveTheoremAttribute(Func<MethodInfo, ITestFixture> 생성자에 대한
테스트을 구별하기 위해 테스트들 이름을 변경함.
style: remove some blank lines according to the following heuristic

http://blog.ploeh.dk/2013/06/24/a-heuristic-for-formatting-code-according-to-the-aaa-pattern
dev: 생성자 구현 NaiveTheoremAttribute(Func<MethodInfo, ITestFixture>.
dev(NaiveTheoremAttribute): dummyMethodInfo 로컬변수 생성

dummyMethodInfo라는 이름으로 해당 MethodInfo가 dummy라는 사실을
알려줌.
dev: 테스트 메소드에 대한 MethodInfo를 fixture factory로 넘겨줌.
Merge pull request #16 from jwChung/overload-constructor

생성자 오버로드 #14 관련