[Build] Upgrade AspectJ to its 1.8 release to be compatibility with Java 8.

.gitignore

@@ -22,3 +22,4 @@ workspace/
 states/
 .DS_Store
 screenshots/
+ajcore.*.txt

org.lamport.tla.toolbox.uitest/pom.xml

@@ -18,7 +18,7 @@
   		<dependency>
             <groupId>org.aspectj</groupId>
             <artifactId>aspectjrt</artifactId>
-            <version>1.8.2</version>
+            <version>1.8.5</version>
         </dependency>
         <!-- Down below we manually install the standalone feature. Maven/Tycho isn't
         	 smart enough to figure this out by itself. Thus, we have to tell Tycho

tlatools/customBuild.xml

@@ -24,7 +24,7 @@
 
 	<taskdef resource="org/aspectj/tools/ant/taskdefs/aspectjTaskdefs.properties">
 		<classpath>
-			<pathelement location="lib/aspectjtools.jar" />
+			<pathelement location="lib/aspectjtools-1.8.5.jar" />
 		</classpath>
 	</taskdef>
 
@@ -89,8 +89,8 @@
 		<iajc destdir="${class.dir}" sourceRoots="${src-aj.dir}" debug="true" source="1.5" target="1.5">
 			<classpath refid="project.classpath" />
 			<classpath>
-				<pathelement location="lib/aspectjrt.jar" />
-				<pathelement location="lib/aspectjtools.jar" />
+				<pathelement location="lib/aspectjrt-1.8.5.jar" />
+				<pathelement location="lib/aspectjtools-1.8.5.jar" />
 				<pathelement path="${class.dir}" />
 			</classpath>
 		</iajc>
@@ -107,8 +107,8 @@
 		<!-- These files are requried for load time weaving and during runtime -->
 		<copy todir="${class.dir}/lib">
 			<fileset dir="lib/">
-				<include name="aspectjrt.jar" />
-				<include name="aspectjweaver.jar" />
+				<include name="aspectjrt-1.8.5.jar" />
+				<include name="aspectjweaver-1.8.5.jar" />
 			</fileset>
 		</copy>
 	</target>